航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

空天飞机的计算流体力学分析

本文分析了空天飞机空气动力学的特点和计算流体力学在发展空天飞机中的作用,讨论了发展空天飞机对计算流体力学的要求。强调了计算流体力学、地面试验和飞行试验应该相互结合成一个整体。在这基础上,探讨了利用地面试验对计算程序进行“确认”、“校准”和“鉴定”以及鉴定计算程序对地面试验的要求。本文还从计算方法、外流、进气道流动、喷管流动、燃烧室流动等方面,综述了空天飞机计算流体力学分析的最近进展和尚待解决的问题。最后对发展我国空天飞机计算流体力学提出了建议。     

The development of a Russian communication satellite of small class, operating in the geostationary and high-elliptical orbits

In 1994-1995 Lavochkin Association (Russia) together with the other enterprises in accordance with technical requirements of the Russian Space agency, developed a new Russian communication satellite of a small class that will operate in both the geostationary (GSO) and high-elliptical (HEO) orbits. This satellite may be injected into operational orbits using a SOYUZ-2 launch vehicle (LV) and a FREGAT upper stage (US) from Plesetsk and Baykonur space launch sites (SLS).The main reason for creating such a satellite was to decrease the cost of the support and development of the Russian communication geostationary satellites group.Russian satellites Horizont, Express, Ekran and Gals, which operate in GSO, are the basis of the space segment for communications, radio and TV broadcasting. All of these satellites are injected into GSO by the PROTON LV. PROTON is a launch vehicle of a heavy class. The use of a middle class LV instead of a heavy class will allow to reduce considerably the launch cost. The change of a heavy class LV to a LV of middle class determined one economic reason for this project. Besides, the opportunity to launch S/C into GSO from Russian Plesetsk SLS increases the independence of Russia in the domain of space communications, despite the presence of the contract with Kazachstan about the rent of Baykonur SLS. Finally, use of small satellites with a rather small number of transponders is more effective than the use of big satellites. It will allow also to increase a satellite group (by the launch of additional satellites) precisely in accordance to the development of the ground segment.     

机动再入飞行器自适应飞行控制系统设计

研究机动再入飞行器的制导控制问题。为了解决机动再入飞行器气动系数变化范围大、气动耦合严重和气动参数非线性过零常值大等恶劣条件下的控制，并且能充分利用飞行器可测量信息提高系统自适应能力，本文提出了状态方程参数辨识－－极点配置－－前馈补偿自适应控制的飞行控制系统的设计方法。通过对新型号再入飞行器的制导系统仿真，可以看出该控制系统使其有很好的飞行性能。     

机动再入飞行器的复合制导方案研究

对机动再入飞行器弧段的复合制导方案进行了研究，首先提出了通过高低空复合制导控制再入飞行器的终端速度和弹道倾角的思路；然后分别给出了高空最优制导律和大气厚再入最优制导律；最后对此复合制导方案进行了数字仿真。仿真结果表明此方案在理论上是可行的。     

再入制导和弹道跟踪误差分析

新一代可重复使用运载器对再入制导提出了更高地要求。目前的空间运输系统证明基于阻力加速度的制导方法是行之有效的。其基本概念是跟踪基准阻力加速度包线，在飞行过程中可根据需要更新这个包线。跟踪适当的阻力加速度包线保证了飞行器可以飞行准确的距离达到目标，同时满足弹道约束。在横向上，我们可采用类似于美国航天飞机的倾斜反转逻辑或航向角跟踪技术。本文推导出了基于反馈线性化的控制算法，并将其应用于可重复使用运载器纵向和横向的制导。最后，我们分析了阻力加速度跟踪的误差。     

等熵轻质活塞风洞中主要部件尺寸的确定

等熵轻质活塞风洞是一种工作时间很短的风洞,作为气源适合于瞬时热传导测量技术的研究工作。在研究了此风洞工作特性的基础上,提出了确定风洞中主要部件尺寸的方法,为风洞全面设计提供依据。压力比P0/P和trun是确定管道尺寸的主要参数,匹配压力振荡最大振幅的允许值是确定活塞质量的关键。     

旋转条件下半封闭空间内多孔冲击平均换热特性实验

通过实验研究了冲击雷诺数Rej、旋转雷诺数Reω、以及冲击孔的排列方式、冲击孔到靶板之间的距离等参数,对旋转条件下半封闭空间内多孔冲击平均换热特性的影响.实验结果表明:随着冲击雷诺数的增大,多孔冲击的平均Nu数显著提高;随着旋转雷诺数的增大,平均Nu数稍有提高,但变化幅度不大;冲击孔的排列方式对平均换热效果也有一定的影响,叉排式稍优于顺排式;并且实验得出,冲击孔到靶板之间的距离为4倍冲击孔直径时多孔冲击平均换热效果最佳.     

基于约简遗传规划的线参数模型及在航空发动机起动建模中的应用

提出了一种新的约简遗传规划(PGP)算法和一种新的基于约简遗传规划的航空发动机起动动态线参数模型.这种模型采用遗传规划产生航空发动机起动模型的输入输出非线性模型集,并以二叉树结构表征函数项,运用正交最小二乘算法(OLS)估计二叉树分支(基本函数项)对于模型精度的贡献并去除复杂、冗余的函数项,从而加快遗传规划的收敛速度,最后通过GP进化可获得简单、可靠、准确的线参数非线性模型.发动机起动过程试车数据建模和与支持向量机的比较证明,这种方法可以产生适用性好、解析性强的线参数非线性模型,产生的模型可获得与支持向量机相当甚至更优的结果.     

基于T-S模糊系统的空天飞行器鲁棒自适应轨迹线性化控制

 基于T-S模糊系统提出了鲁棒自适应轨迹线性化控制(RATLC)方法。利用T-S模糊系统逼近未知干扰和不确定性因素，并采用Lyapunov方法设计了鲁棒自适应控制律。不论系统状态的维数和用于逼近不确定的模糊系统规则数为多少，整个系统仅有两个参数在线调整。理论分析证明了闭环系统所有信号一致最终有界。应用提出的控制方案设计了空天飞行器(ASV)飞行控制系统，并在高超声速飞行条件下进行了仿真验证，仿真结果表明了控制方案的有效性和鲁棒性。